associative calculus

См. также в других словарях:

• associative law — noun : a law indicating immateriality in the grouping of variables; specifically : any law of the form (φRχ)Rψ=φR(χRψ) where φ, χ, ψ are variables and R a dyadic operator [as (a +b)+c=a+(b+c) in arithmetic or (pvq)vr.≡.pv( …   Useful english dictionary

• Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

• Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the …   Wikipedia

• π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) …   Wikipedia

• Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

• Network calculus — is a theoretical framework for analysing performance guarantees in computer networks. As traffic flows through a network it is subject to constraints imposed by the system components, for example: link capacity traffic shapers (leaky buckets)… …   Wikipedia

• Mueller calculus — is a matrix method for manipulating Stokes vectors, which represent the polarization of incoherent light. It was developed in 1943 by Hans Mueller, then a professor of physics at the Massachusetts Institute of Technology. Light which is… …   Wikipedia

• Icosian Calculus — The Icosian Calculus is a non commutative algebraic structure discovered by the Irish mathematician William Rowan Hamilton in 1856. [cite book |author=Thomas L. Hankins |title=Sir William Rowan Hamilton |publisher=The Johns Hopkins University… …   Wikipedia

• Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …   Wikipedia

• Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia

• Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia